document.write('600312');