HASH(0x7f5ccc245a18)