0x8004def7