HASH(0x7fee0667d1b8)