<!--
// set nav highlight /////////////////////
function setNav(NavId,ElementId) {
	try {
		var ul = document.getElementById(NavId);
		var li = ul.getElementsByTagName('*');
		var inner = li[ElementId].innerHTML;
		li[ElementId].innerHTML = '<b>' + inner + '</b>';			
	} catch(e) {}
}
// end set nav highlight
// -->