How much is 77 divided by 5?