<!--
  // als dit Internet Explorer is dan stylesheetIE inladen, anders stylesheetNotIE inladen
  
  // aan te passen regels
  var menuStylesheetNotIE = '/css/moz_menu.css';
  var menuStylesheetIE = '/css/menu.css';
  // einde aan te passen regels




  
  if (navigator.userAgent.indexOf('MSIE')!=-1)
  {
    document.write('<link href="' + menuStylesheetIE + '" rel="stylesheet" type="text/css">');
  }
  else
  {
    document.write('<link href="' + menuStylesheetNotIE + '" rel="stylesheet" type="text/css">');
  }
//-->

