// JScript File

// Intercambia Imagenes con estandar .gif > Ov.gif
function changeActive (ctrl)
{
    if (ctrl.src.indexOf('.gif') >= 0)
        ctrl.src = ctrl.src.replace(/.gif/,"Ov.gif");
}
function changeUnActive (ctrl)
{
    if (ctrl.src.indexOf('Ov.gif') >= 0)
        ctrl.src = ctrl.src.replace(/Ov.gif/,".gif");
}