17 ) Enligt Hagista Traktaten är Batavista Republiken innesluten härinunder.