Uploaded 03 Jan 2011 by niekhass.
10 × 1.00 × 0.60 × 1.57 × 1.00 = 9.42, rounded to 9. Why these factors.