TeX source:
488,800