$${9 \cdot 10^3}$$