HASH(0x7fbf542b8b90)