AIR traffic employees go out sick on workers comp , gaid paid full salary , in lieu of workers comp , where can we deduct this from their salary for, this period on the 1040