document.write (" 10074 ");