function nav_on(img)
{
	var x = document.getElementById('nav_' + img);
	x.src = 'images/nav_' + img + "_o.gif";
}

function nav_off(img)
{
	var x = document.getElementById('nav_' + img);
	x.src = 'images/nav_' + img + ".gif";
}


function Search_Validator(f) 
{
	if (f.str.value.length < 1)
	{
		alert("Please enter a search string.");
		f.str.focus();
		return(false);
	}
}