'; echo json_encode($array);