encoding003.hs 414 Bytes