\log_7 12 = a