TeX source:
g_5=12.5