TeX source:
2,4,7,12