/*
HOVER FUNCTIONS
    
(c) 2008, Helder Internet.
www.helderinternet.nl
*/
function hover(button, el, hoverImg)
{
    var nonHoverImg = el.src;
    DOM.attachEvent(button, 'onmouseout', function () { mouseout(el, nonHoverImg); });
    DOM.setAttribute(el, 'src', hoverImg);
}

function mouseout(el, nonHoverImg){
    DOM.setAttribute(el, 'src', nonHoverImg);
}