一件夹克衫原价80元,七八折出售,这件夹克衫实际售价是多少元?