das ist ja schonmal ganz gut...
problem dabei ist....
in beiden $HTTP_USER_AGENT 's also unter IE und unter Netscape ist Mozilla enthalten....
meinst du vielleicht....
if(ereg('Mozilla',$HTTP_USER_AGENT) AND ereg('MSIE',$HTTP_USER_AGENT)) {echo $mnuttag="div";}
... könnte funktionieren?