/* This javascript loads images into cache and determines 
which image is displayed on a mouseover.  a (normal) for 
off and b (brightened) for on */

if (navigator.userAgent.substring (8,9) >= "3")
        {
	button01a=new Image();
        button01a.src="menu/button01a.gif";
	button01b=new Image();
        button01b.src="menu/button01b.gif";
	button02a=new Image();
        button02a.src="menu/button02a.gif";
	button02b=new Image();
        button02b.src="menu/button02b.gif";
	button03a=new Image();
        button03a.src="menu/button03a.gif";
	button03b=new Image();
        button03b.src="menu/button03b.gif";
        }
        
function mouseOn(imgName)
        {
        if (navigator.userAgent.substring (8,9) >= "3")
                {
                document[imgName].src=eval(imgName+"b.src");
                }
        }
                
function mouseOff(imgName)
        {
        if (navigator.userAgent.substring (8,9) >= "3")
                {   
                document[imgName].src=eval(imgName+"a.src");
                }
        }

/* preload images */
bgmaroon=new Image(10,10);
bgmaroon.src="pix/bgmaroon.gif";