T5867.hs 55 Bytes