0x7bdefd7