document.write('600772');