HASH(0x7fedde56f1f0)