HASH(0x7fedfe6bd118)