HASH(0x7fee3383ec58)