HASH(0x7fedce643428)