沪深股市总市值函数是多少