document.write("601712")