dedef1