Mike sold half of his comic books and then bought 9 more. He now has 12. How many did he begin with?