HASH(0x7f5cbe5b27c0)