document.write('600512');