T12993.hs 80 Bytes