function mouse_hover( element ) {
	if (document.all&&document.getElementById) {
		element.className+=" over";
	}
}

function mouse_out( element ) {
	if (document.all&&document.getElementById) {
  		element.className=element.className.replace(" over", "");
	}
}