W jaki sposób udzielamy urlopów w systemie skróconego tygodnia pracy

Pracownik wnioskował o zmianę systemu czasu pracy na skrócony tydzień pracy od poniedziałku do czwartku. Odpowiada mi to, jednak nie wiem, w jaki sposób rozliczać w tym systemie urlopy wypoczynkowe? Zmiana miałaby nastąpić od 1 lipca br. Pracownik wykorzystał już 9 dni urlopu (rocznie przysługuje mu 26 dni wolnego). Dotychczas pracował w podstawowym systemie czasu pracy (praca od poniedziałku do piątku po 8 godzin dziennie).