function choose_star(i,k){
    for(j=1;j<=i;j++){
     document.getElementById('star'+j+'_'+k).src='/i/red_star.gif';
    }  
     
  }
  
  function leave_star(k){
    for(j=1;j<6;j++){
     document.getElementById('star'+j+'_'+k).src='/i/pink_star.gif';
    }  
     
  }