Вася хотел купить 12 тетрадей, но ему не хватало трёх рублей. Тогда он купил 9 тетрадей, и у него осталось 9 рублей. Сколько денег было у Васи?