document.write("600139")