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