3 divided by 7