HASH(0x7fedc25c73c0)