HASH(0x7fedee6116c0)