Uploaded 26 Sept 2024 by reroot2.
10 × 1.50 × 1.00 × 0.80 × 1.00 = 12.00, rounded to 12. Why these factors.
