op=window.opera;
				ie=document.all&&!op;
				nn4=document.layers;
				nn6=document.getElementById&&!ie&&!op;
    if (!ie) {
    document.write('<script charset="UTF-8" src="menu/mainmenu.js" language="JavaScript1.2" type="text/javascript"></script>');
    }
    else {
    document.write('<script charset="UTF-8" src="menu/mainmeie.js" language="JavaScript1.2" type="text/javascript"></script>');
    }