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