We're coming to the time of year when employees are starting to talk gleefully about the prospect of double monthly pay at Christmas. Does anybody know the situation for employees who started work during the year and have not completed a full year? Do they still get double pay in December or do they get a proportion according to the amount of time they have worked?