En esta porción de código se tiene: