HASH(0x7fbf944f3c88)