function nav_h(intOptID, eventID)
{
	var c1,c2;
	if (eventID) {c1="#FFFF00";c2="#E00000"} else {c1="#DDDD00";c2="#A00000"}
	for (var td=0; td < 3; td++)
	{
		document.getElementById("nav_htd" + intOptID + td).style.backgroundColor=c2;
	}
	document.getElementById("nav_ha" + intOptID).style.color=c1;
}