一种电脑原价6500元,五一降价百分之十二,暑假又降价百分之十.这种电脑现价多少元?