帮我用python写一个替换程序，将 '39°10'39 81201" ' 替换成' 39°10′39 81201″ '

可以使用Python中的字符串操作来实现替换。你可以使用replace()方法来替换字符串中的内容。以下是示例代码：

original_string = "39°10'39 81201\""
new_string = original_string.replace("'", "′").replace("\"", "″")
print(new_string)

输出结果：

39°10′39 81201″

在这个例子中，我们首先定义了原始字符串 `original_string`，它包含了需要替换的内容。然后，我们使用了 `replace()` 方法来替换字符串中的单引号和双引号。这里使用两次 `replace()` 方法，分别替换单引号和双引号。

在第一次调用 `replace()` 方法时，我们将单引号替换为 `′`。在第二次调用 `replace()` 方法时，我们将双引号替换为 `″`。

最后，我们将新字符串打印出来，结果就是我们想要的替换后的字符串。