$id=array();
for($i=0;$i<$nmr;$i++){
  $row = mysql_fetch_assoc($sql);
  $id[$i]=$row['Tipo'];
}
echo json_encode($id);