HASH(0x7fee305ac700)