20171110 city.bengaluru: 87 holidays for Karnataka government staff next year