HASH(0x7f5cad0b12d0)