What's 80 1/2 divided by 2/5