function image_hover(dom_id, hover_url) {
	document.getElementById(dom_id).src = hover_url;
}