TeX source:
779579 E+3