document.write('1202');//