HASH(0x7fee16583750)