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