f12.hs 80 Bytes