HASH(0x7fabfdb83a48)