HASH(0x7f5ca24f7fb8)