以下程序执行后输出结果是（）
#include ""stdio.h""
main（ ）
{
char s[]=""\n123\\"";
printf(""%d,%d\n"",strlen(s),sizeof(s));
}