document.write('600193');