How do you evaluate #2^(log_2 12)#?