function over(which,ext,num) {
	if (document.images) {
		if (num == undefined) {
			document.images[which].src = "images/" + which + "_hi" + ext;
		} else {
			document.images[which+num].src = "images/" + which + "_hi" + ext;
		}
	}
}
	
function out(which,ext,num) {
	if (document.images) {
		if (num == undefined) {
			document.images[which].src = "images/" + which + ext;
		} else {
			document.images[which+num].src = "images/" + which + ext;
		}
	}
}