Annual number of paid hours is defined as
(a) normal and overtime hours, remunerated during the year;
(b) any hours for which the employee was paid at a reduced rate, even if the difference was made up by payments from social security funds;
(c) hours not worked during the reference period but nevertheless paid (annual leave, sick leave, official holidays and other hours paid such as for medical examination).