Por ejemplo, hay un código que dice: