document.write("601258")