HASH(0x7f5ca67d71f8)