HASH(0x7fbf7053f4f0)