TeX source:
x2=300