20140518 city.kochi: KSRTC to get GPRS ticket machines