HASH(0x7fedc41d4400)