HASH(0x7fedfa5e9ae0)