I heard the whole tech part of the US stock market lost 2.5 trillion