echo json_encode($serverstats);