<script type="text/javascript">
<!-- History-Eintrag überschreiben

if (document.layers)
 self.location.replace("beispiel_navigator_index.html");
else if (document.all)
 self.location.replace("beispiel_explorer_index.html");

//-->
</script>