document.write('601235');