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