HASH(0x7fedde5f5338)