document.write('601213');