HASH(0x7fedce5f1c10)