HASH(0x7fedee58fd48)