HASH(0x7f7ab051a500)