function dffmNavi_show(element) {
	//if ((!!(window.attachEvent && !window.opera)) && (typeof window.XMLHttpRequest == "undefined"))
	element.className += " item-hover";
}

function dffmNavi_hide(element) {
	element.className = element.className.replace(/ item\-hover/g, "");
}