document.write (" 12093 ");