var nn = false;
var ie = false;

if (typeof HTMLElement!="undefined" && !HTMLElement.prototype.insertAdjacentElement) {
	nn=true;
	document.write('<script type="text/javascript" src="menu_nn.js" ></script>');
} else {
	document.write('<script type="text/javascript" src="menu_ie.js" ></script>');
	ie=true;
}