What is 12/10 times 5?