Highest market volume on 42, June 1st? — 42