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