document.write('600231');