Ask with the HR people of your company. Even if they don't know the answer themselves, they will find it out for you. Best of luck.