HASH(0x7f5cd43ae3f0)