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