HASH(0x7f3883144e20)