La función codice_12 lee datos de entrada desde un fichero, en lugar de utilizar la entrada estándar.