/* Not really ajax or a callback. On-click this just modifies
 * the DOM with data already available. Nothing to 
 * retrieve with XMLHttpRequest. So this is a synchronous
 * onclick handler for "Additional Views" items ("Sjax":).
 */
function callback(text, index, max_index) {
  var g;
  g = document.getElementById("targetDiv");
  g.innerHTML = 
    "<img src= " + text + ">";
  if (document.uniqueID) {          // I.E.
    for (i=0; i<=max_index; i++) {
      if ( i != index) {
        document.getElementById("suppDiv" + i).childNodes[0].className = "SuppUnselected";
      } else {
        document.getElementById("suppDiv" + i).childNodes[0].className = "SuppSelected";
      }
    }
  }
  else {                            // Std Comp.
    for (i=0; i<=max_index; i++) {
      if ( i != index) {
        document.getElementById("suppDiv" + i).childNodes[1].className = "SuppUnselected";
      } else {
        document.getElementById("suppDiv" + i).childNodes[1].className = "SuppSelected";
      }
    }
  }
}