HASH(0x7fedb65f80c8)