nyuuryoku1 = gets()
S = gets()
N = nyuuryoku1[0].to_i
K = nyuuryoku1[2].to_i
i = 0
anser = ""
while (i < (K - 1)) do
	anser << S[i]
	i += 1
end
anser << S[i].downcase
i += 1
while (i < (N)) do
	anser << S[i]
	i += 1
end
puts anser