HASH(0x7fedfa5e1d68)