HASH(0x7fedda638e08)