TeX source:
420