20170713 business.india-business: Nifty ends at all-time high; up 15 pts