$11.7 billion to euro