HASH(0x7f5ca420d9b0)