function format_rss_data (divname, response) {
   var html = "";
   var doc = response.documentElement;
   var items = doc.getElementsByTagName('item');

   for (var i=0; i < items.length; i++) {

      var title = items[i].getElementsByTagName('title')[0];
      var link = items[i].getElementsByTagName('link')[0];

      html += "<b><a href='" 
         + link.firstChild.data 
         + "'>" 
         + title.firstChild.data 
         + "</a></b><br>";

      var cbDetails = document.getElementById("cbDetails");
      if (cbDetails.checked) {
         var desc = items[i].getElementsByTagName('description')[0];
         html += "<font size='-1'>" 
            + desc.firstChild.data 
            + "</font><p>";
      }
   }

   var target_div = document.getElementById(divname);
   target_div.innerHTML = html;
}
