document.write("600012")