function tooltip (variable) {
//  alert("tooltip for " + variable);
  url = 'http://' + document.location.host + '/ajax_program/' + variable;
//  alert("url is " + url);
  new Ajax.Request(
    url, {
    asynchronous: 1,
    onComplete:
      function (request) {
        response  = request.responseXML.documentElement;
      value = response.getElementsByTagName('value')[0].firstChild.data;
      return overlib(value, WIDTH, 300, HAUTO, VAUTO);
      return true;
    }
  });
  return false;
}