Thank you Jade03, although usually HR departments don´t help much, and don´t even know this type of details. And in this case, my 2 colleagues work for different companies. Neither of them were able to respond this question :)

Regards,