Replace Particular Character In String Python Documentation Built In