[Michlib-l] Vacation time for full time employees