function setRating(article,value) {
  for (x=1; x<=4; x++) {
    if (x<=value)
      document.getElementById('rating_'+x).src='images/star_filled.gif';
    else
      document.getElementById('rating_'+x).src='images/star_empty.gif';
  }
  
  AJAXGetRequest('request_obj','article/rating/'+article+'/'+value+'/1',return_func);
}

function return_func(){}