explicitly specified character encoding in head of our html document