Some of those dollars will no doubt be diversified into euros in the near future.