var agt=navigator.userAgent.toLowerCase();
var is_major = parseInt(navigator.appVersion);
var is_minor = parseFloat(navigator.appVersion);
var is_mac    = (agt.indexOf("mac")!=-1);

var is_ie     = ((agt.indexOf("msie") != -1) && (agt.indexOf("opera") == -1));
var is_ie5 = (!is_mac && is_ie && (is_major == 4) && (agt.indexOf("msie 5.0")!=-1));

var is_opera = (agt.indexOf("opera") != -1);
    var is_opera5 = (agt.indexOf("opera 5") != -1 || agt.indexOf("opera/5") != -1);

if (!is_ie5 && !is_opera5)
 {
 document.write ("<script type='text\/javascript' src='\/js\/menu2_dom.js'><\/script>"); 
 }