document.write (" 10258 ");