document.getElementById beim im Internet Explorer

[Holger Ahlrichs]

Hallo, wir haben folgendes Script für eine Art Bannerwechsel erstellt.
Das Script wechselt die Ebenen automatisch durch und kann auch manuell aufgerufen werden.

<script language="JavaScript" type="text/javascript">
<!--
function einblenden(div) {
  einblendenInternal(div, 1);
}
var aktivesDiv = "promo";
function einblendenInternal(div, killTimer) {
with(document.getElementById(div).style){
    if(display=="none"){
      display="inline";
      if (aktivesDiv!="none") {
        document.getElementById(aktivesDiv).style.display="none";
      }
      aktivesDiv = div;
    } else {
      //display="none";
    }
  }
  if (killTimer){
    window.clearInterval(timerPropmo);
  }
}
var timerPropmo = window.setInterval("nextPromo()", 5000);
function nextPromo(){
  if (aktivesDiv == "promo") {
    einblendenInternal("events",0);
  } else if (aktivesDiv == "events") {
    einblendenInternal("news",0);
  } else {
    einblendenInternal("promo",0);
  }
}
//-->
</script>

Hier der manuelle Aufruf der über eine Map erfolgt:
<map name="Infobox">
                    <area shape="rect" coords="2,1,125,18" href="#" alt="Promotions" onClick="einblenden('promo'); return false;">
                    <area shape="rect" coords="128,1,237,18" href="#" alt="Events" onClick="einblenden('events'); return false;">
                    <area shape="rect" coords="241,1,352,18" href="#" alt="News" onClick="einblenden('news'); return false;">
                  </map>

Jetzt das Problem:
IM Firefox funktioniert alles bestens.
IM IE meckert er folgendes:
Fehler : Objekt erforderlich
Er verweist dabei auf die Zeile mit folgendem Inhalt:
"with(document.getElementById(div).style){"

Kann mir hierbei einer helfen?

Vielen Dank und Gruß
Holger Ahlrichs