How many people shorted at the opening today?