<!--
function mover (file, status) {
	if (document.images) {
		document.images[file].old_src = document.images[file].src;
		document.images[file].src = "/imgs/nav/" + file + status + ".gif";
	}
}

function mout (file) {
	if (document.images) {
		document.images[file].src = document.images[file].old_src;
	}
}

function preload() {
	if (document.images) {
		var img_arr = new Array();
		for (i=0; i < preload.arguments.length; i++) {
			img_arr[i] = new Image();
			img_arr[i].src = "/imgs/nav/" + preload.arguments[i];
		}
	}
}
//-->