if (document.getElementById) {
    document.write("<script language='JavaScript' src='menu_ie.inc.php' type='text/javascript'></script>");
} else {
    if (document.layers) {
        document.write("<script language='JavaScript' src='menu_nn.inc.php' type='text/javascript'></script>");
    }
}