HASH(0x7fedda67eef8)