function active_nav(IMG){
	document[IMG].src = "/img/int/nav-" + IMG + "_on.gif";
}

function unactive_nav(IMG){
	document[IMG].src = "/img/int/nav-" + IMG + ".gif";
}