TeX source:
z=9