T3208b.hs 501 Bytes