function set_star(id, prefix) {
 for (var i=1;i<=5;i++) {
    document.getElementById((prefix ? prefix+'_' : '')+'star'+i).src=(i <= id ? 'star.gif' : 'star2.gif');
 }

}