HASH(0x7fedde5f38a0)