HASH(0x7f5cade2ded0)