Hallo Christian,
ich kann mir eigentlich nur vorstellen, dass der IE das onMouseOut beim Bilderwechsel auf den gesamten DIV-Bereich interpretiert.
Wenn Du hier angibst
onMouseOut='m01.src="aus.gif"; show_navi()'
funktioniert es...
Beste Gruesse
Jan
nicht angemeldet