Old Republic International的市值是多少？
截至今天，Old Republic International的市值是8.19B。