HASH(0x7f388bf506d0)