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