以下程序的输出结果是( )。
#include ＜stdio.h＞
charcchar(char eh)
if(ch＞=’A，&&ch＜=’Z’) ch=ch-’A’+’a’；
return ch；

main()
char s[]="ABC+abc=defDEF"，*p=s；
while(*p)
*p=cchsr(*p)； p++；
printf("%s\n"，s)；

A．abc+ABC=DEFdef

B．abc+abc=defdef

C．abcABCDEFdef

D．abcabcdefdef

某投资商与某建筑设计院签订了设计合同，并交纳了相应的定金，则该合同属于 ( )。

A．格式合同

B．单务合同

C．诺成合同

D．实践合同