20120702 india: Amarnath pilgrimage: Ninth batch of 4;095 pilgrims leave for shrine