// detect the browser and version and send the appropriate file to set up the menus 

var brow_v = (parseInt(navigator.appVersion));


if ((brow == "ns") && (brow_v >= 5)) {
  document.write('<SCRIPT LANGUAGE="JavaScript" SRC="/corp/javascript/menu_ns6.js"></SCRIPT>');
}
else if (brow == "ie") {
  document.write('<SCRIPT LANGUAGE="JavaScript" SRC="/corp/javascript/menu_ie.js"></SCRIPT>');
}