How do you evaluate log13(127)?