What is (5 square root of 5) squared?