\"$encode(\"\"HEX\"\",string) produces a nice hex stream. And $encode(\"\"URL\"\",String) encodes a string fitting to an URL. A mixture of both is needed. This should enhance the HEX stream with leading \"\"%\"\" characters, so it would be perfect useable in a web front-end. 0Ab20D0D => %0A%B2%0D%0D\"