There were 2604 trades today. I'm not seeing any deep pockets involved, even if there were a lot of double prints.