HASH(0x7fee0380fb08)