puts gets.chomp.to_i * 0.8