document.write('601238');