What is 12 divided 1/4?