document.write('600139');