HASH(0x7f5d061d5f20)