14,009.
Today we’re at about 10% down from the 17,500 peaks. Significant, but not really enough to s**t the bed over.
So I say it does 20% overall which gives 14 even (80% of 17.5k).
Then I pick the next highest prime number so I can look smart.
This results in 14,009.
Beware of that Italian dude, Fibonacci.