HASH(0x7fee305af288)