// JavaScript Document

	
	

function lightenAllOtherButtons(button_str)
{
	var i=0;
	for (i=0;i<buttons_array.length;i++)
	{
		if (button_str != buttons_array[i]){
		var button = document.getElementById(buttons_array[i]);
		if (button != null)
		button.src="images/home_"+buttons_array[i]+"_light.gif";
		}
			
	}
}

function darkenAllOtherButtons(button_str)
{
	var i=0;
	for (i=0;i<buttons_array.length;i++)
	{
		if (button_str != buttons_array[i]){
		var button = document.getElementById(buttons_array[i]);
		if (button != null)
		button.src="images/home_"+buttons_array[i]+".gif";
		}
			
	}
}