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