HASH(0x7fee225ec0c8)