function handleregion() {
	document.getElementById('maplist').innerHTML = "Loading...";
  if (http.readyState == 4) {
    // Split the comma delimited response into an array
    // results = http.responseText.split(",");
    document.getElementById('maplist').innerHTML = http.responseText;
  }
}

function regionchkjs(area) {
	
  var date = new Date();
  var timestamp = date.getTime();
	
  var url = "./run/regionchk.php?area=" + area + "&date=" + timestamp; // The server-side script
  http.open("GET", url, true);
  http.onreadystatechange = handleregion;
  http.send(null);
}