20170711 city.kochi: Ernakulam General Hospital faces staff crunch