TeX source:
z=8