function buttonover( buttonname )
{
	if (document.images) {
      document[ buttonname ].src =  "images/" + buttonname + "-over.png";
    }
}
function buttondefault ( buttonname )
{
    
	var somediv = document.getElementById('navBar').getAttribute("title");

	if  (document.images  && buttonname != somediv) {
      document[ buttonname ].src = "images/" + buttonname + ".png";
    }
}

function loadbutton()
{
	var somediv = document.getElementById('navBar').getAttribute("title");
	document[ somediv ].src = "images/" + somediv + "-over.png";
	
}