CONSOLE_HTML_FORMAT = """\
{code}