function highlight(x){for(i=1;i<=x;i++){document.getElementById(i).src=star2.src;}}
function losehighlight(x){var z=document.getElementById('review_form').rating.value;for(i=5;i>z;i--){document.getElementById(i).src=star1.src;}}
function setStar(x){for(i=1;i<=5;i++){document.getElementById(i).src=star1.src;}
for(i=1;i<=x;i++){document.getElementById(i).src=star2.src;}
document.getElementById('review_form').rating.value=x;}