// dropdownmenu

if(document.getElementById && document.all && navigator.userAgent.indexOf("Opera")<0){
	var obj = document.getElementById("gnv");
	obj.innerHTML = obj.innerHTML.replace(/<dl>/gi,"<dl onmouseover='pull(this)' onmouseout='pull(this)'>");
}

function pull(obj){
	for(var i=0;i<obj.childNodes.length;i++)
		if(obj.childNodes[i].nodeName.toUpperCase()=="DD")
			obj.childNodes[i].style.display=obj.childNodes[i].style.display=="block"?"none":"block";
}