HASH(0x7fedc65e6dd0)