文字列`str`内の対象文字列`old_s`を別の文字列`new_s`に置換する
def f_9633(str, old_s, new_s):
	return str.replace(old_s, new_s)