TeX source:
I = 15