HASH(0x7f5d0319dee0)