Hallo,
deb_werkzeuge = document.getElementById("deb_werkzeuge");
in Ergänzung zu dem, was wahsaga schon geschrieben hat: wenn Du an irgendeiner Stelle Deines Scripts eine Variable ohne das Schlüsselwort var deklarierst, so bewegst Du Dich im globalen Namensraum (die Variable ist damit eine Eigenschaft des window-Objekts). Und in diesem globalen Namensraum existiert im IE bereits eine Variable namens "deb_werkzeuge" - so wie es wahsaga schon erwähnt.
Dein Problem ist ganz einfach behoben, wenn Du schreibst:
var deb_werkzeuge = document.getElementById("deb_werkzeuge");
In diesem Fall überschreibst Du innerhalb Deiner Funktion, also im lokalen Namensraum dieses Blocks, das globale Objekt deb_werkzeuge.
So long,
Mr. Horse
--
"No, Sir, I don't like it."
"No, Sir, I don't like it."