HASH(0x7fedfc5da778)