TeX source:
b=7