HASH(0x7fbf4c53cca8)