what is 25 times pi