what is 8 divided by 712