This paragraph comes from include2.html.