// --------------------------
//	15/12/2004 10:14:0
// ===========================================================

// purpose	: change graphic on mouse over / mouse leave
// effects	: looks at the current image, if it has 'over' in its name then it removes it, else it adds '_over' to the image name
// inputs		: obj = the id of the image 

function changeMouseOverGraphic(obj) {	
	var extension = document.images[obj].src.lastIndexOf('.gif')
	if (extension != -1) {
		extension = ".gif"
	} else {
		extension = ".jpg"
	}
	var i = document.images[obj].src.lastIndexOf('over')
	if (i != -1) {
		i = document.images[obj].src.lastIndexOf(extension)
		document.images[obj].src = document.images[obj].src.substring(0, i - 5 ) + extension;
	} else {
		i = document.images[obj].src.lastIndexOf(extension)
		document.images[obj].src = document.images[obj].src.substring(0, i ) + '_over' + extension;
	}
}


var popup_window
function open_popup(href, popW, popH, scrollbars) {
	if (scrollbars == null) {
		scrollbars = 1
	}
	popup_window = window.open(href, 'obj_window', "width="+popW+",height="+popH+",scrollbars="+scrollbars+",toolbars=false");
}

function preloadImage(imgSrc) {
	window.status = "Preloading image "+ imgSrc
	this.preloadedImages[imgSrc] = new Image()
	this.preloadedImages[imgSrc].src = imgSrc
	window.status = ""
}

image1 = new Image();
image1.src = "images/home_button_over.gif";
image2 = new Image();
image2.src = "images/lectures_button_over.gif";
image3 = new Image();
image3.src = "images/cd_button_over.gif";
image4 = new Image();
image4.src = "images/look_button_over.gif";
image5 = new Image();
image5.src = "images/ri_button_over.gif";
image6 = new Image();
image6.src = "images/supporters_button_over.gif";
image7 = new Image();
image7.src = "images/back_to_top_over.gif";