HASH(0x7f7ab4f4d320)