echo json_encode($serverstat);