HASH(0x7f5cc4ffe6d0)