Just need to know the output, thanks

Consider the following code: #include #include int main(void) { char destination'] = "spiderman"; char source [] = "batman"; strcpy(destination, source); printf("%s 3 d d", destination, source, strlen(destination), sizeof(source)); return 0; The program output is? batman batman 7 7 batman batman 6.7 spiderman spiderman 9 9 spiderman spiderman 10 7 batman batman 10 7