HASH(0x7fedde62bd90)