var TMenu_path_to_files = "/menu/";
    var TME = navigator.appVersion.split("MSIE "), TMV = window.opera ||
        TME.length < 2 ||
        parseFloat(TME[1]) < 5 ||
        (navigator.appVersion.indexOf("Mac") > -1 &&
        navigator.appVersion.indexOf("MSIE") > -1) ||
        navigator.userAgent.indexOf("Konqueror") > -1;
// speciale versie voor Mozilla  - Netscape - Opera : (dynamische pages)
    if (TMV && !document.layers) {
     document.write("<scr", "ipt language=\"JavaScript\" src=\"", TMenu_path_to_files, "menu.gen.js\"></scr", "ipt>");
    } else {
     document.write("<scr", "ipt language=\"JavaScript\" src=\"", TMenu_path_to_files, "menu.js\"></scr", "ipt>");
    }