HASH(0x7fedea65a3f0)