给定程序中，程序的功能是：将数组s2中的数字字符拼接到数组 s1后面。请填空。

下面是正确的代码：

#include <stdio.h>
#include <string.h>

int main() {
    char s1[20] = "hello";
    char s2[] = "12345";
    strcat(s1, s2);
    printf("%s", s1);
    return 0;
}

程序输出的结果为：hello12345。其中，函数 `strcat()` 是将字符串拼接到另一个字符串的末尾的函数。