HASH(0x7fedfa5ba7a0)