【正确答案】 A

【答案解析】[解析] “-”用于将两个字符串首尾连接形成一个新的字符串，并将前字符串尾部的空格移到合并后的新字符串的尾部，其结果还是字符串。len()函数返回指定字符串表达式值的长度，本题中len(x-x)即len("123"-"123")，返回值为6；substr()函数从指定表达式的指定起始位置取指定长度的子串作为函数值，本题中substr(str,7,4)是从str第7个字符开始向后取4个字符，即“索契”，故答案为A。