document.write("10012");