var active = new Array();

function set_active(name, nr)
{
  active[name] = nr;
}

function menu_over(menu,nr)
{
  cnt=0;
  while(document.getElementById(menu+cnt) != null)
  {
	name=menu;
	if(document.getElementById(menu+(cnt+1)) == null)
      name=name + " menulast";
	if(nr == cnt)
	{
      name=name + " " + menu + "active";
	}

	if(cnt != active[menu])
      document.getElementById(menu+cnt).className = name;
	cnt++
  }
}

function menu_out(menu,nr)
{
  cnt=0;
  while(document.getElementById(menu+cnt) != null)
  {
	name=menu;
	if(document.getElementById(menu+(cnt+1)) == null)
      name=name + " menulast";
	if(cnt != active[menu])
      document.getElementById(menu+cnt).className = name;
	cnt++
  }
}