document.write('601272');