function hover_over(elm) {
	/* Check we are dealing with IE */
	if (document.all && document.getElementById) {
		/* If there are other classes applied
		 * to the tag, add a space. Otherwise
		 * just set "hover" as the only class
		 */
		 
		if ("" != elm.className) {
			elm.className += ' '; 
		}
			elm.className += 'hover'; 
	}
}

function hover_out(elm) {
	/* Check we are dealing with IE */
	if (document.all && document.getElementById) {
		/* Check to see if hover is the only
		 * class applied to the tag. If so
		 * clear the whole class name.
		 * Otherwise search for " hover"
		 * and remove it.
		 */
		 
		if ("hover" == elm.className) {
			elm.className = ''; 
		} else {
			elm.className = elm.className.replace(' hover', ''); 
		}
	}
}