// JavaScript Document
function leftnav_active(n)
{
	var obj = document.getElementById("leftnav"+n);
	obj.style.backgroundColor = "#C5CEE3";
}

function topmenu_active(n)
{
	var obj = document.getElementById("menu"+n);
	obj.parentNode.style.backgroundColor = "#0D2B88";
}