HASH(0x7f5d044ff1f0)