<!--
function loadurl(dest) {
 try {
   xmlhttp = window.XMLHttpRequest?new XMLHttpRequest():
        new ActiveXObject("Microsoft.XMLHTTP");
 }
 catch (e) { /* do nothing */ }

 xmlhttp.onreadystatechange = triggered;
 xmlhttp.open("GET", dest);
 xmlhttp.send(null);
}

function triggered() {
  if (xmlhttp.readyState == 4) if (xmlhttp.status == 200)
    document.getElementById("output").innerHTML =xmlhttp.responseText;
}
//-->