December 7 as public holiday