backslashes have to escape backslashes in the replacement string