HASH(0x7f5cbc24bb78)