HASH(0x7fedfa60b9b0)