This document is written in UTF-8 encoding.
AWK~Plus scripts use UTF-8, file I/O uses UTF-8 code.
