T5425.hs 125 Bytes