What is the square root of 2 times 12?