# nombres de archivo actuales act.txt
1.txt
2.txt
3.txt
9.txt
10.txt

# nuevos nombres de archivo nuv.txt
juan.txt
pedro.txt
sam.txt
mer.txt
edi.txt

void main()
{
	// leemos el contenido del archivo
	string file_actual = leer("act.txt");
	string file_nuevos = leer("nuv.txt");

	// dividimos la cadena a partir del salto de linea
	string[] nombres_actuales = file_actual.tokenize("\n");
	string[] nombres_nuevos = file_nuvos.tokenize("\n");

	// checamos que tengan la misma longitud
	if(nombres_actuales.length != nombres_nuevos.length)
	{
		// si no la tienne imprimir mensaje de error y regresar
		print("No tienen la misma longitud");
		return;
	}

	// si tienen la misma longitud ahora hay que renombrar
	// recorremos el arreglo con los nombres actuales
	for(var i = 0; i < nombres_actuales.length; i++)
	{
		// obtenemos la referencia al archivo
		File f = open(nombres_actuales[i]);
		// renombramos el archivo
		f.rename(nombres_nuevos[i]);
		// salvamos el archivo
		f.save();
	}
}