Deductions & credits

I have the same issue... govt employee here

 

made a contribution of $5400 (is this considered employer contribution since it is pretaxed and so does it go on line 9 of form 8889.  Then does the $1800 go on line 10 as qualified hsa distributions.   

 

thanks