HASH(0x7f5d003523b0)