function highlight_stars(id, note, do_highlight)
{
  for (var i = 1 ; i <= note ; i++)
  {
    if(do_highlight)
      Element.addClassName($('vote_'+id+'_'+i), 'ratehover');
    else
      Element.removeClassName($('vote_'+id+'_'+i), 'ratehover');
  }
 }