Trick to get 13 days off this Christmas by using just 6 days of annual leave

With all the bank holidays in the UK now all done until Christmas, when should you book off your remaining days of annual leave?