20030711 city.thiruvananthapuram: 15-yr-old buses should not ply after July 31: HC