document.write('600640');