(HTML (BODY (H1 "Header1 )H1 "\n (SCRIPT "\ndocument.write('ABC');\n\ndocument.write('XYZ');\n\n (H2 "Header2 )H2 )BODY )HTML