HASH(0x7f5ccac27f40)