T12567b.hs 38 Bytes