document.write (" 10412 ");