function rating_mouse_over(id){
        for (i=1; i<=id; i++) {
            imgNode = document.getElementById("userRatingStar_" + i);
            imgNode.setAttribute("src", "/images/rating_star_small_blue.gif");
            imgNode.setAttribute("alt", "+");
        }
    }
    
function rating_mouse_out(max_id){
    for (i=1; i<=max_id; i++) {
        imgNode = document.getElementById("userRatingStar_" + i);
        imgNode.setAttribute("src", "/images/rating_star_small_grey.gif");
        imgNode.setAttribute("alt", "-");
    }    
}