var AutoResetTime=10000;var AutoResetTimer=null;var renderurl=latexrender;var HelpCookieName="showSumHelp";window.addEvent("domready",function(){setmenu();$("SumSubmit").addEvent("click",solve);$("v_help_toggle").addEvent("click",getHelp);if("true"==Cookie.read(HelpCookieName)||null==Cookie.read(HelpCookieName)){getHelp()}});function solve(){if($("exp").value==""||$("from").value==""||$("to").value==""){$("result").set("html","请输入完整，需要帮助请点击'帮助'")}else{$("SumSubmit").disabled=true;$("result").set("html","<img src='/common/spinner.gif'>请稍候……");var a=new Request({method:"post",url:"SumAgent.jsp",onSuccess:function(c,g){if(g.getElementsByTagName("err").length>0){$("result").set("html",g.getElementsByTagName("err")[0].firstChild.data.escapeHTML())}else{var b="";var d=g.getElementsByTagName("solution");for(var h=0;h<d.length;h++){var e=d[h].getElementsByTagName("item");b+="<div id='box'>";for(var f=0;f<e.length;f++){b+="<img src='"+renderurl+" "+e[f].firstChild.data+"'><br><br>"}b+="</div><br>"}$("result").set("html",b)}$("SumSubmit").disabled=false;if(AutoResetTimer!=null){clearInterval(AutoResetTimer);AutoResetTimer=null}},onFailure:function(){$("result").set("html","操作失败");$("SumSubmit").disabled=false}});a.send("exp="+encodeURIComponent($("exp").value)+"&from="+encodeURIComponent($("from").value)+"&to="+encodeURIComponent($("to").value));setAutoReset()}}function setAutoReset(){if(AutoResetTimer==null){AutoResetTimer=setInterval("reset()",AutoResetTime)}}function reset(){$("result").set("html","等待结果超时，请重试");$("SumSubmit").disabled=false;if(AutoResetTimer!=null){clearInterval(AutoResetTimer);AutoResetTimer=null}}function getHelp(){$("msg").set("html","<img src='/common/spinner.gif'>正在获取帮助，请稍候……");var a=new Request.HTML({url:"SumHelp.html",onSuccess:function(b){clarMsg();$("msg").adopt(b);Cookie.write(HelpCookieName,true,{duration:365});$("v_help_close").addEvent("click",function(c){clarMsg();Cookie.write(HelpCookieName,false,{duration:365})})},onFailure:function(){$("msg").set("text","获取帮助失败")}});a.send()}function clarMsg(){$("msg").set("text","")};