They’re part of the euro zone, no?