function pass(id) {
	if (document.all) {
		return document.all[id].style;} 
}

function swapBgcolor(nav_name,nav_color) {
//if(typeof(document.getElementById(nav_name).style) != "undefined") {
	document.getElementById(nav_name).style.backgroundColor = nav_color;
//}
	//if(document.all) {
	//	pass(nav_name).backgroundColor = nav_color;}
}