HASH(0x7f5ca807c4b0)