82d283c421dfb50cff6f185559c9d63512089213  misc.elc