Past few days have been very quiet in the office as most of my colleagues are enjoying a little time off over the holidays. Unfortunately, I did not manage to schedule any R&R. Next year I need to do a better job planning vacations. In fact I have 14 days of paid time off which will expire on December 31, 2007 because they remain unused for the year.