document.write (" 10425 ");