TeX source:
n=7