TeX source:
2,8,12