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