Práca nadčas pri pružnom pracovnom čase

Firma má zavedené 2 typy pracovného času - pružný pracovný čas na mesačné obdobie a nepretržitý 12-hodinový pracovný čas (4 zmeny). Niektorí zamestnanci, ktorí majú primárne pružný pracovný čas, majú v pracovnej zmluve dohodnuté, že budú zastupovať v prípade potreby (PN, dovolenky) zamestnancov pracujúcich na 12-hodinových zmenách (11,5 h bez prestávky na jedenie a oddych). Títo zamestnanci potom v rámci mesiaca čerpajú voľno za hodiny navyše odpracované v zmenovom režime (počítame 4 h na zmenu, pretože priemerný denný pracovný čas zamestnancov pracujúcich v pružnom pracovnom čase je 7,5 h). V prípade, že si čerpajú voľno ("náhradné voľno"?) za tieto hodiny na celý deň, je potrebné im započítať do dochádzky 7,5 h, alebo 4,5 h, čo je stanovený základný pracovný čas (od 8.00 hod. do 13.00 hod.)?