Revised estimates of Florida population by county 1972-1979