<!--

function iehoverfix(){
	var objmenu = document.getElementById('menu');
	var objdd = objmenu.getElementsByTagName('dd');
	var objthis;
	
	for (x=0;x<objdd.length;x++){
		objthis = objmenu.getElementsByTagName('dd')[x];
		
		if (objthis.onmouseover){
			objthis.className += " hover";
		}
		
	}
}


//-->