在下面程序中，若file.dat文件中原有内容为：abc，则运行程序后file.dat文件中的内容为（ ）
#include<stdio.h>
void main（）
{ FILE *fp;
fp=fopen("file.dat","W");
fprintf(fp,"def");
fclose(fp);
}
abcdef
abc
def
NULL fp=fopen("file.dat","W");