var xmlhttp=false;

if (window.XMLHttpRequest) { // Mozilla, Safari, ...
  xmlhttp = new XMLHttpRequest();
} else if (window.ActiveXObject) { // IE
  xmlhttp = new ActiveXObject("Microsoft.XMLHTTP");
}

function update(url, element_id) {
  var element = document.getElementById(element_id);
  xmlhttp.open("GET", url);
    
  xmlhttp.onreadystatechange = function() {
    if (xmlhttp.readyState == 4 && xmlhttp.status == 200) {
      element.innerHTML = xmlhttp.responseText;
    }
  }
  xmlhttp.send(null);
}

function edit(url) {
  xmlhttp.open("GET", url);
  xmlhttp.send(null);
}