HASH(0x7fedee5bde68)