如何用Python编写一个名为change的函数，该函数接受一个字符串str1作为输入，目标是将其中的所有大写字母转换为小写字母，所有小写字母转换为大写字母，但保持非英文字符不变？请提供相应的Python代码实现。

可以使用Python内置的`str.upper()`和`str.lower()`方法结合条件判断来实现这个功能。下面是一个简单的函数实现：

def change(str1):
    result = ""
    for char in str1:
        if char.isalpha():  # 检查字符是否为字母
            if char.islower():
                result += char.upper()  # 如果是小写字母，转为大写
            else:
                result += char.lower()  # 如果是大写字母，转为小写
        else:
            result += char  # 非字母字符不变
    return result

# 示例
input_str = "Hello, World! This is a Test."
output_str = change(input_str)
print(output_str)  # 输出: hELLO, wORLD! tHIS IS A TEST.