20170713 city.trichy: 15-year-old jumps from school building; dies