//this function makes the active links visible in the headmenu:

function topCol(which)
{
obj0 = document.getElementById("choice0")
obj1 = document.getElementById("choice1")
obj2 = document.getElementById("choice2")
obj3 = document.getElementById("choice3")
obj4 = document.getElementById("choice4")
obj5 = document.getElementById("choice5")
obj6 = document.getElementById("choice6")
obj7 = document.getElementById("choice7")

if (which == "choice0") {
obj0.className = "red"
obj1.className = "top"
obj2.className = "top"
obj3.className = "top"
obj4.className = "top"
obj5.className = "top"
obj6.className = "top"
obj7.className = "top"
}

if (which == "choice1") {
obj0.className = "top"
obj1.className = "red"
obj2.className = "top"
obj3.className = "top"
obj4.className = "top"
obj5.className = "top"
obj6.className = "top"
obj7.className = "top"
}

if (which == "choice2") {
obj0.className = "top"
obj1.className = "top"
obj2.className = "red"
obj3.className = "top"
obj4.className = "top"
obj5.className = "top"
obj6.className = "top"
obj7.className = "top"
}

if (which == "choice3") {
obj0.className = "top"
obj1.className = "top"
obj3.className = "red"
obj2.className = "top"
obj4.className = "top"
obj5.className = "top"
obj6.className = "top"
obj7.className = "top"
}

if (which == "choice4") {
obj4.className = "red"
obj0.className = "top"
obj1.className = "top"
obj2.className = "top"
obj3.className = "top"
obj5.className = "top"
obj6.className = "top"
obj7.className = "top"
}

if (which == "choice5") {
obj5.className = "red"
obj0.className = "top"
obj1.className = "top"
obj2.className = "top"
obj3.className = "top"
obj4.className = "top"
obj6.className = "top"
obj7.className = "top"
}

if (which == "choice6") {
obj6.className = "red"
obj0.className = "top"
obj1.className = "top"
obj2.className = "top"
obj3.className = "top"
obj4.className = "top"
obj5.className = "top"
obj7.className = "top"
}
if (which == "choice7") {
obj7.className = "red"
obj0.className = "top"
obj1.className = "top"
obj2.className = "top"
obj3.className = "top"
obj4.className = "top" 
obj5.className = "top"
obj6.className = "top"
}

}