or the end of that trading day that is of record?