TeX source:
y=log(1000)