HASH(0x7f13584ef000)