document.write("10125 ");