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