HASH(0x7fedc65f1628)