HASH(0x7fedee6403f8)