HASH(0x7f5cc0ca56e0)