HASH(0x7f5ccde4a2d8)