document.write('601223');