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