added unicode support to HTML