How do you evaluate log_8 12?