Source TeX:
y=9