The all-time-high was December, so anything issued after that didn't help in reaching it.