HASH(0x7f5cf4ed02a0)