如果串s=“hello”，s=“world”，那么执行strlen(strcat(s，s))后的结果是（）