HASH(0x7fedcdad8040)