How do you evaluate f(x)=log10x for x=12.5?