以下程序的输出结果是______。
#include ＜string.h＞
main()
printf("%d\n",strlen("IBM\n012\1\\"));