What is 80 times the square root of 5?