document.write('600140');