The $17K should reduce her Box 1 W-2 wages. There is no 1040 deduction for this.
I'm not even sure that the way she did this (writing a check) is allowed.
