document.write("1001012")