function newImage(arg) {
	if (document.images) {
		rslt = new Image();
		rslt.src = arg;
		return rslt;
	}
}

function changeImages() {
	if (document.images && (preloadFlag == true)) {
		for (var i=0; i<changeImages.arguments.length; i+=2) {
			document[changeImages.arguments[i]].src = changeImages.arguments[i+1];
		}
	}
}

var preloadFlag = false;
function preloadImages() {
	if (document.images) {
		Home_over = newImage("images/Home-over.gif");
		Gallery_over = newImage("images/Gallery-over.gif");
		Vision_over = newImage("images/Vision-over.gif");
		Bio_over = newImage("images/Bio-over.gif");
		Contact_over = newImage("images/Contact-over.gif");
		preloadFlag = true;
	}
}


// This will open a new window of 800 x 400

function open800(url){
	mynewWin = window.open(url, "mynewWINDOW", "toolbar=yes,scrollbars=yes,location=yes,width=800,height=400,resizable=yes");
	mynewWin.focus();
   }


// This will open a new window.  It assigns a random window name based on
// time.  This will let folks have multiple windows.

function openNew( url ) {

	var now = new Date();
	var window_name = now.getMilliseconds();

	var attrib="toolbar=no,location=no,menubar=no,width=700,height=768,scrollbars=yes,status=no,resize=yes";
	window.open(url , window_name , attrib);

}

// This will open a new window of 800 x 400

function openFull(url){
	mynewWin = window.open(url, "mynewWINDOW", "toolbar=yes,scrollbars=yes,location=yes,width=1024,height=768,resizable=yes");
	mynewWin.focus();
   }