HASH(0x7fedee5dca70)