echo json_encode($zone);