以下程序段的输出结果是（）。     char s[]= “＼＼140＼140abc＼t”；       prntf(“％d＼n”，strlen(s))；