python : how to convert string literal to raw string literal?,"s = s.replace('\\', '\\\\')"