What happens to registered names that have not yet been paid for?

The InterNIC "recycles" names that are not paid up in time. The non-payee loses that name, and it is thrown back into the hopper of available names. This is excellent for those who find that the name they wanted is being held by a domain dealer.