def str_replace( old, new, S ):

    """str_replace --- Return a copy of string S with all 

    occurrences of substring old replaced by new.

    (string) string str_replace( (string) old, (string) new, (string) S )"""

    return S.replace( old, new )