The old St. Michael Hospital: