function HTML_contents(HTML)