20130610 city.ludhiana: City has three public libraries?