HASH(0x7fedc0031370)