HASH(0x7f5c988a7aa0)