用了7.500金币开出来的姚明，算欧吗？