// some basic, uninspired code to pull in remote HTML for client-side includes

function include(filename) {

    var xmlhttp;
    var return_html = "";

    if (window.XMLHttpRequest) {
	xmlhttp=new XMLHttpRequest();
    } else {
	xmlhttp=new ActiveXObject("Microsoft.XMLHTTP");
    }
    
    var URI = "/env/includes/" + filename;

    xmlhttp.open("GET", URI, false);
    xmlhttp.send();
    document.write(xmlhttp.responseText);
}