Even if 1012 had been the top for the day, it would not have been a triple top because the previous tops were 1015, on June 17, June 18, and July 14.