TeX source:
4+7+16+3