function CheckAllUsers(users)
{
 var user=users.split(',');
 for(var i in user)
  document.getElementById('user_'+user[i]).checked=true;
}