7
<@pp.renameOutputFile name="r7.txt" />
.
<@pp.renameOutputFile extension="rtxt" />
..