function get_obj(id)
{
	var obj = (document.getElementById) ? document.getElementById(id) :
		((document.all) ? document.all[id] : null);

	return obj;
}

function set_select(id, val)
{
	var div_obj = get_obj("nav_div_" + id);
	var a_obj = get_obj("nav_a_" + id);

	if (div_obj && a_obj)
	{
		div_obj.className = val;
		a_obj.className = val;
	}
}

function nav_over(id)
{
	set_select(id, "navOver");
}

function nav_out(id)
{
	set_select(id, "navUnselect");
}