What is the square root of 17 divided by 2 equal?