HASH(0x7f5ccccd3f40)