Hi. I have a small question: how could I replace a substring in a string. For example I have this string "ABCDDDDEFG". I want to replace "DDD" with "54" for example. Is there any command which allows me to do this? Thank you!