document.write('600672');