TeX source:
(5+17) / 2=11