HASH(0x7fee038f4778)