($1 = 0.8771 euros)

Reuters