HASH(0x7f5ca407e9c0)