HASH(0x7f3878072a00)