function load_page(url) {
  var xmlhttp = new XMLHttpRequest();
  xmlhttp.open("GET",url,false);
  xmlhttp.send(null);
  var new_page = xmlhttp.responseText;
  document.getElementById('content').innerHTML = new_page;
  return false;
}