HASH(0x7fbf4c5431d0)