Ile dni urlopu wypoczynkowego przysługuje pracownikowi?

Pracownik został zatrudniony w naszej instytucji na podstawie umowy o pracę od 17 listopada 2008 r. w pełnym wymiarze czasu pracy. W okresie od 1 lutego 2008 r. do 30 kwietnia 2008 r. był zatrudniony w innej instytucji w wymiarze 3/4 etatu, a od 1 maja 2008 r. do 14 listopada 2008 r. na pełny etat. Na podstawie świadectwa pracy ustalono, że w trakcie poprzedniego zatrudnienia ww. osobie udzielono 16 dni urlopu wypoczynkowego. Za cały 2008 r. temu pracownikowi przysługiwałby urlop wypoczynkowy w wymiarze 20 dni roboczych.

Ile dni urlopu wypoczynkowego przysługuje temu pracownikowi za okres pracy od 17 listopada 2008 r. do 31 grudnia 2008 r. w naszej instytucji?