activateMenu = function(nav) 

{			 

	var navroot = document.getElementById(nav);				

	navroot.style.display = "block";

}

deactivateMenu = function(nav) 

{			 

	var navroot = document.getElementById(nav);				

	navroot.style.display = "none";

}		


function popup(mylink, windowname)
{
if (! window.focus)return true;
var href;
if (typeof(mylink) == 'string')
   href=mylink;
else
   href=mylink.href;
window.open(href, windowname, 'width=900,height=900,scrollbars=yes');
return false;
}