var str = navigator.userAgent;
	    if ((str.indexOf('Mozilla/') != -1) && (str.indexOf('/2') == -1))
                {
                button1=new Image();
                button2=new Image();
                button3=new Image();
                button4=new Image();
				button5=new Image();
                button6=new Image();
				button7=new Image();
                button8=new Image();							
				button9=new Image();
                button10=new Image();
				button11=new Image();
				button12=new Image();
				button13=new Image();
				button14=new Image();	

				button1.src = "/images/nav_about_off.gif";
                button2.src = "/images/nav_about_on.gif";
                button3.src = "/images/nav_wranglin_off.gif";
                button4.src = "/images/nav_wranglin_on.gif";
		button5.src = "/images/nav_spurs_off.gif";
                button6.src = "/images/nav_spurs_on.gif";
		button7.src = "/images/nav_clients_off.gif";
                button8.src = "/images/nav_clients_on.gif";
                button9.src = "/images/nav_ranch_off.gif";
                button10.src = "/images/nav_ranch_on.gif";
		button11.src = "/images/nav_campfire_off.gif";
                button12.src = "/images/nav_campfire_on.gif";
		button13.src = "/images/nav_holler_off.gif";
                button14.src = "/images/nav_holler_on.gif";	
	}
	
function display(num) {

        if ((str.indexOf('Mozilla/') != -1) && (str.indexOf('/2') == -1))

        {       if (num=="1") document.but1.src = button1.src;
                if (num=="2") document.but1.src = button2.src;
                if (num=="3") document.but2.src = button3.src;
                if (num=="4") document.but2.src = button4.src;				
				if (num=="5") document.but3.src = button5.src;
                if (num=="6") document.but3.src = button6.src;				
				if (num=="7") document.but4.src = button7.src;
                if (num=="8") document.but4.src = button8.src;				
				if (num=="9") document.but5.src = button9.src;
				if (num=="10") document.but5.src = button10.src;				
				if (num=="11") document.but6.src = button11.src;
                if (num=="12") document.but6.src = button12.src;				
				if (num=="13") document.but7.src = button13.src;
				if (num=="14") document.but7.src = button14.src;			
				  }
        }