HASH(0x7fbf5c52fa10)