let default_encoding = "ISO8859-1"