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

int main(int argc, char *argv[])
{
	char nombre[64];
	strcpy(nombre, argv[1]);
	printf("¡Hola %s!\n", nombre);
}