小文想买两种笔记本各一本，其中一种一本12.5元，另一种一本23.8元，那么她一共需要花多少元钱？