what is the square root of 6.25?