echo json_encode($server);