七千二百五十六点儿五。