document.write('1272');
var j=1272;