Update str_encoding.html