iso_8859-7(7) on Linux

The text 533fa1259094, as Debian 2.2 (Potato) shipped it.

the ISO 8859-7 character set encoded in octal, decimal, and hexadecimal

iso_8859-7(7) on Linux now