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

function hover_this(obj, name, state)
{
	if (state) {
		obj.src = http + '/img/nav-' + name + '-on.gif';	
	} else {
		obj.src = http + '/img/nav-' + name + '-off.gif';	
	}
	
}