TeX source:
log(1000)