<!-- jive script does not work with caveman browsers
if (document.images) {
	
	var welcome = new Image;
	welcome.src = "/images/nav/welcome.gif";
	var welcome_on = new Image;
	welcome_on.src = "/images/nav/welcome_on.gif";
	
	var developments = new Image;
	developments.src = "/images/nav/developments.gif";
	var developments_on = new Image;
	developments_on.src = "/images/nav/developments_on.gif";
	
	var theblackhills = new Image;
	theblackhills.src = "/images/nav/theblackhills.gif";
	var theblackhills_on = new Image;
	theblackhills_on.src = "/images/nav/theblackhills_on.gif";
	
	var contactus = new Image;
	contactus.src = "/images/nav/contactus.gif";
	var contactus_on = new Image;
	contactus_on.src = "/images/nav/contactus_on.gif";
	
}	
function jiveIn(imgName) {
	document.images[imgName].src = eval(imgName + "_on.src");
}
function jiveOut(imgName) {
	document.images[imgName].src = eval(imgName + ".src");
}
// la fin -->