(HTML (BODY "&#foo; )BODY )HTML