HASH(0x7f5cf46de2d0)