encode any string to html

gistfile1.py

# can be used to hide email addresses in the html source of Web sites from spiders

def html_encode(email):
    '''
    Takes a unicode string as only parameter and returns
    a sequence of html encoded chars.

    >>> html_encode(u"[email protected]")
    'test@website.or&#103'
    '''
    list = []
    for char in email:
        list.append("&#%s" % ord(char))
    return ";".join(list)
 

Seriously the only example I could find that escapes ALL characters.