var Browser = {
  Version: function() {
    var version = 999; // we assume a sane browser
    if (navigator.appVersion.indexOf("MSIE") != -1)
      // bah, IE again, lets downgrade version number
      version = parseFloat(navigator.appVersion.split("MSIE")[1]);
    return version;
  }
}
if (Browser.Version() <= 7) {
  document.write("<link type='text/css' rel='stylesheet' href='../css/menu_ie.css'></link>");
}
if (Browser.Version() > 7) {
  document.write("<link type='text/css' rel='stylesheet' href='../css/menu.css'></link>");
}