<!--

function changeNodeParameter(id, parameter, value) {

	var req = newXMLHttpRequest();

	//register the callback handler function
    var callbackHandler = getReadyStateHandler(req, updateNavbar);
    req.onreadystatechange = callbackHandler;
    req.open("POST", "ajax_changeNodeParameter.php", true);
    req.setRequestHeader("Content-Type", "application/x-www-form-urlencoded");

    //alert("id="+id+"&parameter="+parameter+"&value="+value);
    req.send("id="+id+"&parameter="+parameter+"&value="+value);

}


// This is the callback functions that gets called
// for the response from the server with the XML data
function updateNavbar(dataXML) {

    //alert("updateNavbar");
	var databank = dataXML.getElementsByTagName("databank")[0];
	//var fuel = databank.getAttribute("navbar");

    var item01 = dataXML.getElementsByTagName("data")[0];
    var item01_value = item01.firstChild.nodeValue;
	document.getElementById("navbar").innerHTML = item01_value;

}


-->