hastable destructor implemented