HASH(0x7fee16656380)