document.write('601236');