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