function petugas_tim_work($tim) {
  global $db,$ar;    
  $sql="SELECT * from petugas where is_staff=1 and tim_sektor=".$tim." order by is_ketua_tim desc,tusi,nama";
  $res=mysqli_query($db,$sql);
  $ar['tim']=array('','1','2','3','4','5','Mobile');
  $dt='<table border="1" width="100%">';
  $dt .='<tr><th colspan="4">Tim '.$ar['tim'][$tim].'</th></tr>';
  $dt .='<tr><th>No</th><th>Nama</th><th>Ponsel</th><th>Tusi</th></tr>';
  $c=1;
  while($r=mysqli_fetch_assoc($res)) {
    $dt .='<tr><td>'.$c.'</td><td>'.$r['nama'].'</td><td>'.$r['hpid'].'</td><td>'.$r['tusi'].'';
    if($r['is_ketua_tim']) {
      $dt .= ' (koordinator)';      
    }
    $dt .='</td></tr>';
    $c++;
  }
  $dt .='</table><br>';
  return $dt;
}