document.write('600238');