This is the contents of file include1.txt.