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