How do you evaluate 3log312?