function trim(s) 
{
	return s.replace(/^\s+|\s+$/g,'');
}

function hover_nav(obj, state)
{
	if (state) {
		obj.src = obj.src.replace('-off.gif', '-on.gif');	
	} else {
		obj.src = obj.src.replace('-on.gif', '-off.gif');	
	}
}