HASH(0x7fedc25cf788)