HASH(0x7f7ab057aa10)