HASH(0x7fedde595970)