12.5 divided by 0.25?