HASH(0x7fedfe64ea00)