HASH(0x7fedf384efb0)