function hoverImage(img_original, img_hover, img_el) {
   img_el.src = img_hover;
   img_el.onmouseout = function() { this.src = img_original; }
}