La última línea importante del código inicial es la siguiente: