HASH(0x7fedc65edb50)