Escriba lo siguiente en un archivo utilizando su editor de texto favorito: