What is log10(1012)?