如果三年期国库券的年利率为5.18%,到期后共拿到本利和4043.9元,当初买了多少元的国库券