Source TeX:
x = 5310