HASH(0x7fedcc04b970)