HASH(0x7f5cccc894d8)