Lösung gefunden:
document.all macht Probleme.
Ich hatte zwar schon die Zeile "document.getElementById("myLine").innerHTML = eins;" eingebaut, bin aber in meiner Naivität davon ausgegangen, daß bei einem Untereinanderschreiben à la
function Aendern () {
document.all.myLine.innerHTML = eins;
document.getElementById("myLine").innerHTML = eins;
}
sich jeder Browser um seine verständlichen Zeilen kümmern und die anderen ignorieren würde ...
Nix da, erst wenn man die "document.all.myLine.innerHTML = eins;" Zeile für Mozilla explizit ausklammert, wird die andere Zeile richtig interpretiert ...
function Aendern () {
if (navigator.appCodeName == "Mozilla") {
document.getElementById("myLine").innerHTML = eins;
}
else {
document.all.myLine.innerHTML = eins;
}
}