有以下程序： #include void swap(char *x， char *y) { char t； t＝*x； *x＝*y； *y＝t； } main() { char *s1＝"abc"， *s2＝"123"； swap(s1，s2)； printf("%s，%s\n"，s1，s2)； } 程序执行后的输出结果是(　　)。