what is 80 divided by 10