TeX source:
x=50,000