What is 115 divided by 5?