HASH(0x7fedc65a0710)