How do you evaluate log25(1258)?