72 divided by 9