str = "0123456789"
str.gsub(/\d/){|i|
???? if i == '7'
i*2
}