HASH(0x7fedc2639bb0)