// for NavigationBar
function shownavi(name){
	eval("document.all."+name+".style.visibility='visible'");
}
function hidenavi(name){
	eval("document.all."+name+".style.visibility='hidden'");
}