// var image_path = "images/";
// var scheme_path = "s4/";
// var image_offset = 0;

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;
}