一个足球打九折后,比原来便宜了6.12元.这个足球的原价是多少元?