HASH(0x7fee145be3c0)