Source TeX:

x=6