<human>: Question: How much did Barcelona pay to sign  David Villa?

Is Rosell signed David Villa from Valencia for €40 million and Javier Mascherano from Liverpool for €19 million. a good answer to this question?

OPTIONS:
- yes
- no
<bot>: yes