export(); echo json_encode($export);