function minnomy_img_over(imgelement, isOver) {
    var src = imgelement.src;
    if (isOver) {
        if (!src.match(/_over\.png$/)) {
            imgelement.src = src.replace(/\.png$/, '_over.png');
        }
    }
    else {
        imgelement.src = src.replace(/_over\.png$/, '.png');
    }
}