[HanayamaTriplet]

That says $12,000 billion, not $12 billion. (Aside from the question of paying off mortgages being a good idea or not.)