document.write('601207');