HASH(0x7f5cccf7e3b0)