// Menuesteuerung mit Leuchtmenues
// **************************************************************************************************************************
// Netscape 3.0 compatibility test (for javascript image swapping)
compat = false;
if( parseInt( navigator.appVersion ) >= 3 ) { compat = true; }

width = 132
height = 23

// cache images for quick swapping
if( compat )
{

tool1on = new Image;(width, height)
tool1on.src = "../images/navbut1on.gif";
tool1off = new Image;(width, height)
tool1off.src = "../images/navbut1.gif";

tool2on = new Image;(width, height)
tool2on.src = "../images/navbut2on.gif";
tool2off = new Image;(width, height)
tool2off.src = "../images/navbut2.gif";

tool3on = new Image;(width, height)
tool3on.src = "../images/navbut3on.gif";
tool3off = new Image;(width, height)
tool3off.src = "../images/navbut3.gif";

tool4on = new Image;(width, height)
tool4on.src = "../images/navbut4on.gif";
tool4off = new Image;(width, height)
tool4off.src = "../images/navbut4.gif";

tool5on = new Image;(width, height)
tool5on.src = "../images/navbut5on.gif";
tool5off = new Image;(width, height)
tool5off.src = "../images/navbut5.gif";

tool6on = new Image;(width, height)
tool6on.src = "../images/navbut6on.gif";
tool6off = new Image;(width, height)
tool6off.src = "../images/navbut6.gif";

tool7on = new Image;(width, height)
tool7on.src = "../images/navbut7on.gif";
tool7off = new Image;(width, height)
tool7off.src = "../images/navbut7.gif";

tool8on = new Image;(width, height)
tool8on.src = "../images/navbut8on.gif";
tool8off = new Image;(width, height)
tool8off.src = "../images/navbut8.gif";

tool9on = new Image;(width, height)
tool9on.src = "../images/navbut9on.gif";
tool9off = new Image;(width, height)
tool9off.src = "../images/navbut9.gif";

tool10on = new Image;(width, height)
tool10on.src = "../images/navbut10on.gif";
tool10off = new Image;(width, height)
tool10off.src = "../images/navbut10.gif";

tool11on = new Image;(width, height)
tool11on.src = "../images/navbut11on.gif";
tool11off = new Image;(width, height)
tool11off.src = "../images/navbut11.gif";


}

// swap images using the cached images
function glow(x, y)
{
   if( compat ) { document.images[x].src=eval(y+'.src'); }

}

// **************************************************************************************************************************