/* Transformed JS from: /jslib/ajax_requestGlossary.js */
var inOperation=1;var startWord="";var currentWord="";var isAlphaRequest=false;function keyboardRequestPart1(){isAlphaRequest=false;if(inOperation==1){inOperation=0;startWord=$("w").value;setTimeout("keyboardRequestPart2();",1000)}return}function showResponse(d){var b=d.responseText;var a=$H(b.evalJSON(true));var c;if(a.size()>0){c=new Element("ul");a.each(function(e){c.insert(new Element("li").update("<b>"+e.key+"</b> : "+e.value))})}$("showTable").update(c)}function requestGlossary(a){var b="/shared-cgi-bin/glossary/glossary.pl";var d="keyword="+(a===""?currentWord:a);var c=new Ajax.Updater("showTable",b,{method:"post",parameters:d,onComplete:showResponse})}function keyboardRequestPart2(){inOperation=1;currentWord=$("w").value;if(currentWord!=startWord){keyboardRequestPart1()}else{if(!isAlphaRequest){requestGlossary("")}}}function alphaRequest(a){isAlphaRequest=true;$("w").value="";currentWord="";startWord="";requestGlossary(a);return};