HASH(0x7fedcdaf9c30)