Texas Total for the day was 11 million. Five million after the close 4-5 million in the last 5 minutes. The first million before 3:00.