HASH(0x7fedfa5e8700)