参考答案：F

解析：

函数AT()的格式是：AT(＜字符表达式1＞,＜字符表达式＞[,＜数值表达式＞])；功能是如果＜字符表达式1＞是＜字符表达式2＞的子串，则返回＜字符表达式1＞值的首字符在＜字符表达式2＞中的位置：若不是子串，则返回0。函数值为数值型。

“IS”在第6个字符开始出现子串，所以运算结果是6。