What do you get if you divide 12 by 3?