what is the amount of millions of the football player who represented the ivory coast national football team from 2000 to 2012 ?
8.5