provided concrete examples
html generation