function hilite_menu(imgname) {
    var newimg = "graphics/buttons/top_menu/" + imgname + "_hi.gif";
    if (document["top_menu/" + imgname]) {
      var currntimg = document["top_menu/" + imgname].src;
      if (currntimg.indexOf(newimg) == -1) {
        document["top_menu/" + imgname].src = path_modifier + newimg;
      }
    }
}

function hilite_sub_menu(itemname) {
  if (itemname != '') {
    var o = new getObj((itemname))
	
	if (o.obj) {
	  o.obj.className = o.obj.className + 'Hi'
	}
  }
}