document.write('600257');