// Correct font-size in IE5
var navie5 = false;
if (navigator.userAgent.indexOf("Mozilla") >= 0 && navigator.userAgent.indexOf("compatible") > 0) {
  var iMsie = navigator.appVersion.indexOf("MSIE ");
  if (iMsie > 0) {
    navie5 = parseInt(navigator.appVersion.substr(iMsie+5,1)) <= 5; // old IE 5
  }
}
if (navie5)
  document.writeln('<link href="/styles/mbbm_ie5.css" rel="stylesheet" type="text/css" title="mbbm_ie5">');