function over(ID)
{ dom(ID).src="img/but_"+ID+"_on.gif"; }

function out(ID)
{ dom(ID).src="img/but_"+ID+"_off.gif"; }

function navover(ID)
{ dom(ID).src="img/navlayer_marker.gif"; }

function navout(ID)
{ dom(ID).src="img/trans.gif"; } 

var aktivlay="";

function change(ID)
{
 if (ID==aktivlay) 
 {
 domstyle(ID).visibility="hidden";
 aktivlay="";
 } 
 else
 {
 if (aktivlay!="") domstyle(aktivlay).visibility="hidden"; 
 domstyle(ID).visibility="visible"; 
 aktivlay=ID; 
 }
}