simple script to encode and decode church numerals