HASH(0x7fedda66c1c8)