Whats 12 divided by 0.05?