HASH(0x7f5cf505c3d8)