document.write("10012")