HASH(0x7fee3137d8b8)