document.write("600712")