echo json_encode($configs);