function ajaxInsertInElement(a,b){var c=getRequestObject();c.onreadystatechange=function(){showResponseText(c,b)};c.open("GET",a,true);c.send(null)}function ajaxSimpleCall(a){var b=getRequestObject();b.open("GET",a,true);b.send(null)}function getRequestObject(){if(window.ActiveXObject){return(new ActiveXObject("Microsoft.XMLHTTP"))}else{if(window.XMLHttpRequest){return(new XMLHttpRequest())}else{return(null)}}}function showResponseText(b,a){if((b.readyState==4)&&(b.status==200)){htmlInsert(a,b.responseText)}}function htmlInsert(b,a){document.getElementById(b).innerHTML=a};