HASH(0x7fedfa674ba8)