Work day for me. Instead of taking holidays like MLK or Columbus day, the holidays are added around Christmas and 4th of July to give us a longer holiday weekend. I think most of us prefer it that way.