document.selection.Replace("‘(.*?)’","\x27\\1\x27",eeFindNext | eeFindReplaceCase | eeReplaceAll | eeFindReplaceRegExp);