HASH(0x7fedfe6f3d00)