HASH(0x7fee22dcc500)