Uploaded 30 Dec 2004 by =/pp3345\=.
10 × 1.00 × 1.00 × 0.90 × 1.00 = 9.00, rounded to 9. Why these factors.
