var image_path = "images/";
var scheme_path = "s1/";
var image_offset = 1;

var highlight_images = new Array ();
highlight_images[0] = "hhome.gif";
highlight_images[1] = "hsitemap.gif";
highlight_images[2] = "hfeedback.gif";
highlight_images[3] = "hinfo.gif";

function doLoad () {
  var img;
  var i;
  for (i = 0; i < highlight_images.length; i++) {
    img = new Image ();
    img.src = image_path + scheme_path + highlight_images[i];
  }
}
function setImage (img, url) {
  document.images[img].src = image_path + scheme_path + url
}
function toggle (link, url) {
  var i;
  for (i = 0; i < document.links.length; i++)
    if (document.links[i] == link)
      break;
  if (i >= document.links.length)
    return true;
  i += image_offset;
  setImage (i, url);
  return true;
}
function highlight (link) {
  toggle (link, "hstar.gif");
}
function unhighlight (link) {
  toggle (link, "star.gif");
}
function sendMail(domain,user) {
  document.location = "mai" + "lto:" + user + "@" + domain;
}
function showMail(domain,user) {
  window.status = "mai" + "lto:" + user + "@" + domain;
}