// JavaScript Document

function on(img_id){
	document.images[img_id].src = "images/nav/" + img_id + "_on.gif";
}

function off(img_id){
	document.images[img_id].src = "images/nav/" + img_id + ".gif";
}

function on_bottom(img_id){
	document.images[img_id].src = "images/footer_splash/" + img_id + "_on.gif";
}

function off_bottom(img_id){
	document.images[img_id].src = "images/footer_splash/" + img_id + ".gif";
}

function setbig(img_id){
	document.images['big'].src = "images/footer_splash/" + img_id + "_big.gif";
}