// Gets the current locations from the REST service
// on the server and writes out the HTML that
// contains links for the map

function getLocationsAndMap() {
 if (receiveReq.readyState == 4 ||
     receiveReq.readyState == 0)
 {     
   // getD2DSites.html is a REST service
   // that returns the list of locations
   // as JSON
 
   receiveReq.open("GET", ‘getD2DSites.html‘,
                   true);              
   receiveReq.onreadystatechange =
               getLocationsAndMapCallback;     
   receiveReq.send(null);      
 } // end  if  
} // end  function

function getLocationsAndMapCallback() {
 // state == 4 is when the response is complete
 if (receiveReq.readyState == 4) {             
  // Deserialize the JSON response (eval() command)
  // This creates an array of location objects.
  var response = eval("("+request.responseText+")");
  // generate HTML listing the locations and update 
  //   the page DOM so the user will see the HTML
  var div = document.getElementById(‘loc_div‘);        
  div.innerHTML = ‘<p>Received ‘ +
   response.locations.location.length+‘ results.‘;
 
  for(i=0;i < response.locations.location.length; i++) {
        var city = response.locations.location[i].city;
        var anchor = ‘‘; // TODO: we will fix this later
        div.innerHTML += ‘<p><b>‘+ city + ‘</b> ‘ +
          anchor + loc + ‘</a><br/>‘ + addr + ‘</p>‘;
  } // end  for loop
 } // end   if (state == 4)
} // end   function