20130702 india: 3 militants; policeman killed in Pulwama gunfight