HASH(0x7f5cade8ca30)