HASH(0x7fedc4f5e7b8)