def3e7