var $imgpath = 'images/';
function hoverOn(a) {
    $("img#img_" + a).attr({
        src: $imgpath + "" + a + "_ov.jpg"
    })
}
function hoverOff(a) {
    if ($("div#selected").html() != a) {
        $("img#img_" + a).attr({
            src: $imgpath + "" + a + "_dn.jpg"
        })
    }
}
function hoverTxtOn(a) {
    $("img#txt_" + a).attr({
        src: $imgpath + "" + a + "_ov.jpg"
    })
}
function hoverTxtOff(a) {
    if ($("div#selected").html() != a) {
        $("img#txt_" + a).attr({
            src: $imgpath + "" + a + "_dn.jpg"
        })
    }
}