HASH(0x7fedfc058748)