ReplaceSeq is a procedure for replacing a given string with another string in a file.