Hallo,
-%- Eigentlich kannst Du einfach durch Benutzung eine neue Eigenschaft generieren: document.getElementById(Element).activemenu = 0
.. oder Klassen verwenden und diese entspr. wechseln (Ändere keine CSS-Eigenschaften per JavaScript!).
Das ganze liesse sich - je nach gewünschter/geforderter Browser-Abdeckung - auch ganz ohne JavaScript realisieren, ggf. unter Verwendung des label-Elements.
Gruss,
Worf