How do you evaluate #log_8 12#?