HASH(0x7fee225fa7d8)