HASH(0x7fedfe574918)