HASH(0x7fee2da6f678)