HASH(0x7fedc66556f0)