HASH(0x7fedfa6655c8)