Source TeX:
x=9