0x7ededa