function ie_hover_fix() {
	if(!document.all)
		return false;
		
	var element_ids = Array('nav1','nav2','nav3','nav4','nav5','nav6','nav7');
	for(var i=0; i<element_ids.length; i++) {
		var element = document.getElementById(element_ids[i]);
		if(element) {
			element.onmouseover = function () {
				element_class = this.className;
				this.className = element_class + " hover";
			}
			element.onmouseout = function () {
				element_class = this.className;
				element_class = element_class.replace(/hover/,"")
				this.className = element_class;
			}
		}
	}
}