document.write('600534');