function set_rating(sort, rating)
{
	document.getElementById('rating_' + sort).style.width = rating * 20 + '%';
	document.getElementById('beoordeling_' + sort).value = rating;
}