20120712 world.pakistan: Militants attack building in Lahore; kill 9 Pakistani policemen