// declare images
var AboutUs = new Image();
var AboutUsPortfolio = new Image();
var AboutUsServices = new Image();
var AboutUsPeople = new Image();
var AboutUsContactUs = new Image();

// set image sources
AboutUs.src = "Images/Nav/AboutUs.gif";
AboutUsPortfolio.src = "Images/Nav/AboutUsPortfolio.gif";
AboutUsServices.src = "Images/Nav/AboutUsServices.gif";
AboutUsPeople.src = "Images/Nav/AboutUsPeople.gif";
AboutUsContactUs.src = "Images/Nav/AboutUsContactUs.gif";

// ChangeImage()
function ChangeImage(Image, NewImage)
{
	if (document.getElementById(Image).src != eval(NewImage + ".src"))
		document.getElementById(Image).src = eval(NewImage + ".src");
}

function returnnothing()
{

}