($1 = 0,9375 euro)