商店里的布娃娃,如果有优惠卡可以打八折,小红用优惠卡买一个布娃娃,用了38.4元.节省多少元?