document.write('600712');