Möglicherweise setzen FF und Opera einen Pointer, während IE das Objekt kopiert und dann die Kopie nicht ändern kann? Weswegen sonst die Fehlermeldung?
Nächster erfolgloser Versuch:
var obj_zu_aendern_id;
...
function
obj_zu_aendern_id = obj.id; // Objekt-ID sichern fuer ankommende Meldung
...
function
// obj_zu_aendern.classList.remove("prio3"); // Probleme mit IE
// obj_zu_aendern.style.backgroundColor = "transparent"; // Problem bleibt
document.getElementById( obj_zu_aendern_id ).classList.remove("prio3");
Linuchs