Benchmark indices touched all-time record high as Sensex hit 40,000 and Nifty crossed 12,000 for the first time on counting day