echo json_encode($zones);