to leave hospital; to be discharged from hospital