TeX source:

1000