20150202 unknown: How to trade Sensex when it's at an all-time high