echo json_encode($servers);