HASH(0x7fedde5c3278)