document.write('600142');