HASH(0x7fabf8196878)