def6de