document.write('600793');