HASH(0x7fedce678fd8)