小勇买了三本打七折的课外书，这三本书原来的定价分别是3.4元、5.8元、4.3元。一共节省了多少钱?