What is 84.7 divided by 7