What is the output of the following C program?#include #include int main() { char a[20] = "Hi"; strcat(a, " Edu"); printf("%d %s", (int)str…

What is the output of the following C program?

#include <stdio.h>
#include <string.h>
int main() {
    char a[20] = "Hi";
    strcat(a, " Edu");
    printf("%d %s", (int)strlen(a), a);
    return 0;
}