20160221 city.kochi: Kochi switches over to piped gas