document.write('600912');