Uploaded 30 Nov 2004 by =/pp3345\=.
10 × 1.00 × 0.60 × 2.00 × 1.00 = 12.00, rounded to 12. Why these factors.
