Este código es en todo equivalente al "Hola Mundo" original, sólo que nos