function mouseOver(element)
{
    var src = element.src;
    
    // ** Strip '.jpg' off
    src = src.substr(0,src.length-4);
    // ** Add highlighter
    src += "_h.jpg";
    element.src = src;
}

function mouseOut(element)
{
    var src = element.src;
    
    // ** Strip '_h.jpg' off
    src = src.substr(0,src.length-6);
    // ** Add normal extension
    src += ".jpg";
    element.src = src;
}