What is 88 divided by 4?