It sucks to be laid off at anytime, let alone at the end of the year (not because of Christmas). This is the worst time of the year to be looking for a job. I hope they got a decent compensation package to make it through the start of next year.