HASH(0x7fedfa5d38a0)