document.write (" 10414 ");