La salida del código anterior es: