HASH(0x7fedc25563a0)