HASH(0x7f5ca01555c0)