HASH(0x7fee2e5e17f8)