HASH(0x7f5d045307b0)