HASH(0x7fedee5f1e40)