if (navigator.appName != 'Microsoft Internet Explorer')
         {
            document.writeln('   <LINK REL   = STYLESHEET');
            document.writeln('         HREF  = "menu_netscape.css">');
         }
         else
         {
            document.writeln('   <LINK REL   = STYLESHEET');
            document.writeln('         HREF  = "menu_ie.css">');
         }