document.write('601912');