平均基本流通股数的Old Republic International Corporation。