HASH(0x7f5cccff74e0)