what is the result of 9 divided by 3?