#include <stdio.h>

int main (void)
{
	printf ("Hola mundo!\n");
	printf ("\n");
	printf ("pulse ENTER para continuar\n");

	getchar ();
	
	return 0;
}