How Many Options Are Traded