The document processer in HTML5