HASH(0x7fee3257bcb8)