HASH(0x7fedfa5c2970)