Uploaded 15 May 2025 by lui tim.
10 × 1.10 × 1.00 × 0.80 × 1.00 = 8.80, rounded to 9. Why these factors.