HASH(0x7fee305ab7d8)