HASH(0x7fedc25dc1e8)