20180712 business.india-business: Sensex hits all-time high; Nifty breaches 11;000-mark as markets soar