function load_via_ajax(div,filename) { 
    var myfile=filename; //file to get
    xmlhttp.open("GET",myfile,true); //open the pipe, get the file
    xmlhttp.onreadystatechange=function() {
        if (xmlhttp.readyState==4) {
            var mydiv = document.getElementById(div);
            mydiv.innerHTML = xmlhttp.responseText;
        } 
    }
    xmlhttp.send(null)
}