HASH(0x7fedda59fa08)