document.write('600233');