W-2 form Box 14

My husband's W-2 has box 14 filled this year - 

FED OT - what does that mean? is it overtime?

 

Thank you.