// Write the content of the iframe to the <div> 'centerDIV'
function setText(doc) {
	var txt = (document.all)? doc.all.txt.innerHTML : doc.getElementById("txt").innerHTML;
	var div = (document.all)? document.all.centerDIV : document.getElementById("centerDIV");
	div.innerHTML = txt;
	div.style.height = 380;
}

// Preload mouseover images
function preloadPix() {
	var pix = new Array();
	for (i=0; i<4; i++) {
		pix[i] = new Image();
	}
	pix[0].src = "img/bn_home_out.gif";
	pix[1].src = "img/bn_pictures_over.gif";
	pix[2].src = "img/bn_about_over.gif";
	pix[3].src = "img/bn_contact_over.gif";
}

// Makes the clicked image stay on mouseout
var stayPic = "home";
function stay(img) {
	if (stayPic == img) return;
	document.images[stayPic].src = "img/bn_"+stayPic+"_out.gif";
	stayPic = img;
}

// Swap image onmouseover
function swapOver(img) {
	document.images[img].src = "img/bn_"+img+"_over.gif";
}

// Restore swapped image onmouseout
function swapOut(img) {
	if (img != stayPic)
	document.images[img].src = "img/bn_"+img+"_out.gif";
}

// Start preloading when the page is loaded
window.onload = function() {
	preloadPix();
}