function initAJAX()
{var o=false;/*@cc_on @*/if(!o&&typeof XMLHttpRequest!='undefined')
{o=new XMLHttpRequest();}
return o;}
function LoadIntoElement(url,element_id,text)
{var X=initAJAX();var element=document.getElementById(element_id);var text;if(text==null)
{text='Loading';}
element.innerHTML='<b>'+text+' ...</b>';X.open("GET",url);X.send(null);X.onreadystatechange=function()
{if(X.readyState==4&&X.status==200)
{element.innerHTML=X.responseText;}}}
function ElementVal(element_id)
{var element=document.getElementById(element_id);return element.value;}