What is the square root of 13 squared