Holiday on occasion of Ganesh chaturthi.