HASH(0x7fedee5e4238)