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

if (navigator.userAgent.substring (8,9) >= "3")
        {
        button0a=new Image();
        button0a.src="menu/button0a.gif";
	button0b=new Image();
        button0b.src="menu/button0b.gif"; 
	button1a=new Image();
        button1a.src="menu/button1a.gif";
	button1b=new Image();
        button1b.src="menu/button1b.gif";
	button2a=new Image();
        button2a.src="menu/button2a.gif";
	button2b=new Image();
        button2b.src="menu/button2b.gif";
	button3a=new Image();
        button3a.src="menu/button3a.gif";
	button3b=new Image();
        button3b.src="menu/button3b.gif";
	button4a=new Image();
        button4a.src="menu/button4a.gif";
	button4b=new Image();
        button4b.src="menu/button4b.gif";
	button5a=new Image();
        button5a.src="menu/button5a.gif";
	button5b=new Image();
        button5b.src="menu/button5b.gif";
	button6a=new Image();
        button6a.src="menu/button6a.gif";
	button6b=new Image();
        button6b.src="menu/button6b.gif"; 
	btn_searcha=new Image();
        btn_searcha.src="pix/btn_searcha.gif";
        btn_searchb=new Image();
        btn_searchb.src="pix/btn_searchb.gif";
	btn_featurea=new Image();
        btn_featurea.src="pix/btn_featurea.gif";
        btn_featureb=new Image();
        btn_featureb.src="pix/btn_featureb.gif";
	btn_contacta=new Image();
        btn_contacta.src="pix/btn_contacta.gif";
        btn_contactb=new Image();
        btn_contactb.src="pix/btn_contactb.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 */
hd_spacer=new Image(10,59);
hd_spacer.src="pix/hd_spacer.jpg";
circle=new Image(12,25);
circle.src="menu/circle.gif";
logokey=new Image(157,59);
logokey.src="pix/logokey.jpg";
logo=new Image(263,59);
logo.src="pix/logo.jpg";
bgblack=new Image(10,10);
bgblack.src="pix/bgblack.gif";
bgblue=new Image(10,10);
bgblue.src="pix/bgblue.gif";
bggold=new Image(10,10);
bggold.src="pix/bggold.gif";