document.write('600872');