HASH(0x7ff40c4c3338)