[int_19h]

Conversely, they contribute a certain amount to HSA every year. So, depending on how much one needs, it's quite possible for none of it to have come out of your pocket.