def7