document.write('1272');//