Florida state hospital history. .