TeX source:

1200