document.write (" 10307 ");