recoded into UTF-8