A continuación se muestra el código de la clase codice_17: