Alaska's internet and other data transport systems are provided largely through the two major telecommunications companies: GCI and Alaska Communications. How much money did the federal government contribute via stimulus to the non-connectvitiy between Asia and Alaska