HASH(0x7f5d05db6e80)