//solves div:hover deficiency
sfHover = function() {
if (document.getElementById("print_menu")) {
var sfEls = document.getElementById("print_menu");
// 	for (var i=0; i<sfEls.length; i++) {
sfEls.onmouseover=function() {
	this.className+=" sfhover";
}
sfEls.onmouseout=function() {
	this.className=this.className.replace(new RegExp(" sfhover\\b"), "");
}
}
else
return
// 	}
}
if (window.attachEvent) window.attachEvent("onload", sfHover);