def page_HTML(title, *tokens, **kw):
    """ Convenience function returning an '<HTML>' token for a page.
      Keyword parameters:
      `content_type`: "http-equiv" Content-Type, default: "text/html; charset=UTF-8".
      `head_tokens`: optional extra markup tokens for the HEAD section.
      `body_attrs`: optional attributes for the BODY section tag.
  """
    content_type = kw.pop('content_type', 'text/html; charset=UTF-8')
    head_tokens = kw.pop('head_tokens', ())
    body_attrs = kw.pop('body_attrs', {})
    if kw:
        raise ValueError('unexpected keywords: %r' % (kw,))
    body = ['BODY', body_attrs]
    body.extend(tokens)
    head = ['HEAD', ['META', {'http-equiv': 'Content-Type', 'content':
        content_type}], '\n', ['TITLE', title], '\n']
    head.extend(head_tokens)
    return ['HTML', head, body]
