function swapNavBackground(thepage){
	if(document.getElementById){
		var thenav = document.getElementById('navigation')
	} else if (document.all){
		var thenav = document.navigation
	}
	thenav.style.backgroundImage='url(layout\/navbackgrounds\/'+thepage+'.gif)';
}

function resetNavBackground(page){
//	var tid = setTimeout('swapNavBackground("'+page+'")',3000);
}