Danke, habe meinen Code ohnehin an das Ende gesetzt:
Du rufst den Code direkt ohne Funktion auf?
if (document.all && document.all.navi_link4.style.setAttribute) {
document.all.navi_link4.style.setAttribute("id", "navi_link4_a", "false");
} else {
document.getElementById("navi_link4").id = "navi_link4_a";
}Wenn ich das richtig interpretiere ist der erste Teil für FF und der Zweite für IE.
umgekehrt, aber setAttribute ist nicht nötig.
Diese Zeile reicht aus:
document.getElementById("navi_link4").id = "navi_link4_a";
Struppi.