let
default_encoding =
"ISO8859-1"