有以下程序（ strcat函数用以连接两个字符串）　　＃include＜stdio．h>　　＃include＜string ．h>　　main（）　　｛char a［20］=”ABCD＼OEFG＼0”，b［］＝”IJK”；　　strcat（a，b）；printf（”％s\n”，a）；　　｝　　程序运行后的输出结果是

A．ABCDE\OFG\OIJK

B．ABCDIJK

C．IJK

D．EFGIJK