document.write("10425 ");