What is 32 divided by 4?