<doc>
	<legacy_id>25</legacy_id>
	<term>EOF</term>
	<definition><p>End of file. The last <keyword tag="character">character</keyword> in a <keyword tag="file">file</keyword>.</p></definition>
	<categories>
	 	<category>Files, Folders, &amp; Resources</category>
	</categories>
	<synonyms>
	 	<synonym>end-of-file</synonym>
	 	<synonym>end-of-file's</synonym>
	 	<synonym>end of file</synonym>
	 	<synonym>end of file's</synonym>
	 	<synonym>EOF</synonym>
	 	<synonym>EOF's</synonym>
	</synonyms>
</doc>