function nav_bg_over(o)
{
	o.style.backgroundColor = "#636d63";
}

function nav_bg_out(o)
{
	o.style.backgroundColor = "#94A69C";
}

function $$(o)
{
	return document.getElementById(o);
}