conversion to HTML5