Just go to Office of Human Resources, fill in the form of tax deduction. Do not worry! Sooner or later, you will get the money back.