HASH(0x7f5ce1f65f38)