HASH(0x7fedfc047ea8)