HASH(0x7f5ca8b5b1d8)