以下程序運行后的輸出結果是______。

char s[]="\\141\141abc\t";

printf("%d\n",strlen(s));