function set_rating(x)
{
  document.getElementById("review_rating").value = x;
  show_rating();
}

function highlight_rating(x) {
  for(var i=1; i<= 5; i++)
  {
    var image = i <= x ? "icon_bright-star.gif" : "icon_dimmed-star_grey-bg.gif";
    document.getElementById("rating_star_" + i).setAttribute("src","/images/" + image);
  }

}
function show_rating() {
  highlight_rating(document.getElementById("review_rating").value);
}