// JavaScript Document

function swapDivs (showthis,hidethis) { 
		var style2 = document.getElementById(showthis).style;style2.display = "block"; 
		var style3 = document.getElementById(hidethis).style;style3.display = "none";
}


// Image swapping
function imgSwap(imgId, imgSrc) {
	document.getElementById(imgId).src = imgSrc;
}

// Create image objects, preload all active and inactive images.

nav1On = new Image();
nav1On.src = "images/nav_platform_o.gif";
nav2On = new Image();
nav2On.src = "images/nav_news_o.gif";
nav3On = new Image();
nav3On.src = "images/nav_contact_o.gif";

			
nav1Off = new Image();
nav1Off.src = "images/nav_platform.gif";
nav2Off = new Image();
nav2Off.src = "images/nav_news.gif";
nav3Off = new Image();
nav3Off.src = "images/nav_contact.gif";