if (document.images) {
home_1 = new Image();
home_1.src = "../gifs/ico_home_1.gif";
mail_1 = new Image();
mail_1.src = "../gifs/ico_mail_1.gif";
map_1 = new Image();
map_1.src = "../gifs/ico_map_1.gif";

home_2 = new Image();
home_2.src = "../gifs/ico_home_2.gif";
mail_2 = new Image();
mail_2.src = "../gifs/ico_mail_2.gif";
map_2 = new Image();
map_2.src = "../gifs/ico_map_2.gif";
}

function onButt(imgName) {
  if (document.images)
		document[imgName].src = eval(imgName + '_2.src');
}

function offButt(imgName) {
  if (document.images)
		document[imgName].src = eval(imgName + '_1.src');
}

function show(where)
{
  stored = where;
  storedLocation = document.images[where].src;
  document.images[where].src = "../gifs/menu_2.gif";
}

function hide()
{
  document.images[stored].src = storedLocation;
}