document.write('601712');