假设今天发行三年期债券，面值100元人民币，票面利率为4.25%，每年付息三次，如果到期收益率为4%，则债券债券价格为()。