HASH(0x7fee20f53538)