function move_to(nav)
	{
	    nav.style.backgroundColor="#9AB4C9";
		nav.style.cursor="hand";
	}
	function move_out(nav)
	{
	   nav.style.backgroundColor="";
	}
	function navb_color(nav)
	{
	   nav.style.backgroundColor="#8EA9FF";
	}
	function navb_nocolor(nav)
	{
	   nav.style.backgroundColor="";
	}