HASH(0x7fee308ff5f8)