function roll_over(img_id, img_src)
{
    var element = document.getElementById(img_id);
    if(element != null) {
        element.src = img_src;
    }
}