HASH(0x7fedfa569fb0)