HASH(0x7fedc25dc6d0)