参考答案：F

解析： 函数AT()的格式是；AT(＜字符表达式 1＞,＜字符表达式 2＞[,＜数值表达式＞])；功能是如果＜字符表达式 1＞是＜字符表达式 2＞的子串，则返回＜字符表达式 1＞值的首字符在＜字符表达式 2＞中的位置；若不是子串，则返回0。函数值为数值型。
“IS”在第6个字符开始出现子串，所以运算结果是6。