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