Text this: Half holiday for certain Government employees.