20130710 city.mangaluru: Mangalore: News digest