HASH(0x7fedfa5dec18)