HASH(0x7fee16678c20)