HASH(0x7fedee5e1f68)