Is 9700 Euro/month the monthly take-home pay for an A380 captain? That doesn't seem like very much. I would hope we don't rely too much on the AF/KLM numbers.