What is 0.12 divided by 0.15?