HASH(0x7fedc4024ae0)